Prioritized Component Systems
نویسندگان
چکیده
We introduce a flexible framework to specify problem solutions (outcomes) and preferences among them. The proposal combines ideas from answer-set programming (ASP), answer-set optimization (ASO) and CP-nets. The problem domain is structured into components. ASP techniques are used to specify values of components, as well as global (intercomponent) constraints among these values. ASO methods are used to describe preferences among the values of a component and CP-net techniques to represent inter-component dependencies and corresponding preferences.
منابع مشابه
Trapezoidal intuitionistic fuzzy prioritized aggregation operators and application to multi-attribute decision making
In some multi-attribute decision making (MADM) problems, various relationships among the decision attributes should be considered. This paper investigates the prioritization relationship of attributes in MADM with trapezoidal intuitionistic fuzzy numbers (TrIFNs). TrIFNs are a special intuitionistic fuzzy set on a real number set and have the better capability to model ill-known quantities. Fir...
متن کاملA new prioritized multi-criteria outranking method: The prioritized PROMETHEE
The Multiple Criteria Decision Aiding (MCDA) has been a fast growing area of operations research and management science during the last decades, while the PROMETHEE (Preference Ranking Organization Method for Enrichment Evaluations) is one of the well-known MCDA methods with ranking the alternatives from the best to the worst. In this paper, we propose a new outranking method called Prioritized...
متن کاملSupervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models 1
We study the supervisory control of nondeterministic discrete event dynamical systems (DEDS's) with driven events in the setting of prioritized synchronization and trajectory models introduced by Heymann. Prioritized synchronization captures the notions of controllable, uncontrollable, and driven events in a natural way, and we use it for constructing supervisory controllers. The trajectory mod...
متن کاملDigital Systems Laboratory Series A: Research Reports Priorities and Nonmonotonic Reasoning Priorities and Nonmonotonic Reasoning
Many knowledge-based systems use some kind of priorities for controlling their reasoning. In this work, autoepistemic logic is extended with priorities. Priorities are formalized as partial orders of formulae that express that some formulae are preferred to others. Priorities increase the set of conclusions that can be inferred from a set of formulae, because the number of cases where connicts ...
متن کاملA Prioritized Cache for Multi- tasking Real-time Systems
In this paper, we present a new prioritized cache which can reduce the Worst Case Cache Miss Rate (WCCMR) of an application in a multi-tasking environment. The Worst Case Execution Ti me (WCET) can be estimated more precisely when the cache miss rate has a stable and low upper bound. An experiment in which a MPEG decoder and a Mobile Robot (MR) control program are executed alternatively shows t...
متن کامل